* configure: Fix comment mistake in previous change.
authorGlenn Morris <rgm@gnu.org>
Thu, 18 Mar 2010 05:59:32 +0000 (22:59 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 18 Mar 2010 05:59:32 +0000 (22:59 -0700)
commit9257fed035bfd37e68069475b3b56785add92a22
treec868694ccd760ebf23cbc72108ef2f34247b459f
parent27424527532412e90376e9dc8e42fcddffed72df
* configure: Fix comment mistake in previous change.
configure